f :: A -> B